Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
261	Can a system learn from interactive proofs? Leo Freitas, Cliff B. Jones and Andrius Velykis Newcastle University {leo.freitas,cliff.jones,andrius.velykis}@newcastle.ac.uk Abstract This paper sets out the on-going researc Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:38 Automated theorem proving Logical syntax Mathematical logic Proof theory Heuristics Rippling Mathematical proof Theorem NP Logic Mathematics Theoretical computer science
262	Mathematical supplement to “A Population-Based Job Exposure Matrix for Power-Frequency Magnetic Fields” by J.D. Bowman, J.A. Touchstone, and M.G. Yost. J. Occup. Environ. Hyg. Volume 4, Issue 9, 2007. Proofs of Formu Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2008-01-16 14:37:08 Category theory Elasticity Solid mechanics IJ Geometric standard deviation Tensors
263	Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Applied mathematics Algorithm Mathematical logic Finite-state machine Actor model I/O Automaton Cellular automaton Models of computation Automata theory Computer science
264	Unit 5 – Analytical Trigonometry – Classwork A) Verifying Trig Identities: Definitions to know: Equality: a statement that is always true. example: 2 = 2, 3 + 4 = 7, 62 = 36 , 2(3 + 5) = 6 + 10 . Equation: a statemen Add to Reading List Source URL: pballew.net Language: English - Date: 2008-06-04 05:26:42 Mathematical analysis Trigonometric functions Sine Inverse trigonometric functions Differentiation of trigonometric functions Proofs of trigonometric identities Trigonometry Mathematics Geometry
265	ELEMENTARY SUBMODELS IN INFINITE COMBINATORICS LAJOS SOUKUP Abstract. We show that usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First w Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2010-08-29 05:34:47 Mathematical logic Cardinal number First-order logic Elementary equivalence Substructure Partition Symbol Absoluteness Structure Model theory Mathematics Logic
266	Another proof that ζ(2) = π 2 /6 via double integration Tim Jameson (Slightly modified version of Math. Gazette[removed]), note[removed]Over the years several proofs that ∞ Add to Reading List Source URL: www.maths.lancs.ac.uk Language: English - Date: 2013-12-02 05:15:37 Special functions Inverse trigonometric functions Sine Trigonometric functions Pi Mathematical fallacy Factorial Gaussian integral Wallis product Mathematics Mathematical analysis Trigonometry
267	Microsoft Word - AG7-Butterflies Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:02 Probabilistic complexity theory Computability theory Post correspondence problem Probabilistically checkable proof PCP Applied mathematics Mathematics Theoretical computer science Mathematical proofs Theory of computation
268	Embedding LaTeX Math in AsciiDoc dblatex documents Embedding LaTeX Math in AsciiDoc dblatex documents i Add to Reading List Source URL: asciidoc.org Language: English - Date: 2013-11-06 17:26:13 Partial differential equations Proofs of trigonometric identities Mathematical analysis N-curve Curves Trigonometry Mathematics
269	IEEE TRANS. ON CONTROL OF NETWORK SYSTEMS, JUNE[removed]WITH PROOFS) 1 Convex Relaxation of Optimal Power Flow Part II: Exactness Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2014-06-09 02:38:12 Linear programming Mathematics Applied mathematics Second-order cone programming Relaxation Duality Semidefinite programming Mathematical sciences Mathematical optimization Operations research Convex optimization
270	Short Proofs are Narrow – Resolution made Simple Eli Ben-Sasson ∗ Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2002-04-25 05:57:27 Theoretical computer science Automated theorem proving Rules of inference Propositional calculus Logic in computer science Resolution Tautology Computational complexity theory Mathematical proof Mathematical logic Mathematics Logic

UPDATE